Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
861	Walter Hower and Winfried H. Graf Research in Constraint-Based Layout, Visualization, CAD, and Related Topics: A Bibliographical Survey Add to Reading List Source URL: scidok.sulb.uni-saarland.de Language: English - Date: 2012-02-16 07:03:49 Computing Constraint satisfaction Local consistency German Research Centre for Artificial Intelligence Constraint SCIP Computer-aided design Logic programming Constraint programming Software engineering Computer programming
862	State space search with prioritised soft constraints Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-05-10 13:21:07 Software engineering Applied mathematics Constraint Mathematical optimization Search algorithm Constraint optimization Constraint logic programming Constraint programming Theoretical computer science Constraint satisfaction
863	On the complexity of #CSP Martin Dyer University of Leeds Fields Institute Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-08-15 11:39:00 Constraint programming Constraint satisfaction problem Orbifold
864	CS787: Advanced Algorithms[removed]Lecture 5 addendum: LP Duality Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2009-09-26 00:08:11 Operations research Duality Combinatorial optimization Max-flow min-cut theorem Strong duality Constraint Maximum flow problem Semidefinite programming Mathematical optimization Convex optimization Linear programming
865	Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP Marcus Bjareland? Peter Jonsson?? Dept. of Comp. and Info. Sci. Linkopings universitet Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:34:39 Constraint programming Graph coloring NP-complete problems Constraint satisfaction problem Bipartite graph Graph Complexity of constraint satisfaction Path decomposition Graph theory Mathematics Theoretical computer science
866	Embracing Occlusion in Specifying the Indirect Eects of Actions Joakim Gustafsson Department of Computer and Information Science Linkoping University Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:07:34 Mathematics Knowledge representation Artificial intelligence Epistemology Frame problem Integral transforms Circumscription 8T Constraint algorithm Logic programming Mathematical analysis Science
867	Deductive Planning with Temporal Constraints using TAL Martin Magnusson and Patrick Doherty I Link6pings universitet, Link6ping[removed], Sweden patdo@ida, liu. se, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:38:33 Theoretical computer science Knowledge representation Epistemology Logic in computer science Constraint logic programming Constraint programming Event calculus First-order logic Forcing Mathematical logic Logic Logic programming
868	Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study (Early Innovation) David Landén∗ Fredrik Heintz Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-08-07 07:34:42 Search algorithms Knowledge representation Tree B-tree Contract Net Protocol Backjumping Memory management Heuristic function Information science Artificial intelligence Constraint programming Computing
869	Algorithms for Querying by Spatial Structure Dimitris Papadias’, Nikos Mamoulis’ and Vasilis Delis2 ‘Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Hong Kong { dimitr Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:40:20 R-tree Relational model Function FO Constraint satisfaction problem Relation Variable Mathematics Constraint programming Elementary mathematics
870	Partial Replay of Long-Running Applications Alvin Cheung, Armando Solar-Lezama, and Samuel Madden MIT CSAIL {akcheung, asolar, madden}@csail.mit.edu Add to Reading List Source URL: db.csail.mit.edu Language: English - Date: 2011-08-15 13:47:43 Constraint programming Software bugs Formal methods Logic in computer science Memory management Concolic testing Symbolic execution Debugger Satisfiability Modulo Theories Software engineering Theoretical computer science Computing

UPDATE